翻訳と辞書
Words near each other
・ Equicom Savings Bank
・ Equiconsistency
・ Equicontinuity
・ Equidae
・ Equidiagonal quadrilateral
・ Equidigital number
・ Equidimensional
・ Equidimensional scheme
・ Equidimensionality
・ Equidissection
・ Equidistance principle
・ Equidistant
・ Equidistant conic projection
・ Equidistant set
・ Equidistributed sequence
Equidistribution theorem
・ Equidome
・ Equidome Arena
・ Equifax
・ Equifax Canada
・ Equifinality
・ Equigranular
・ Equijubus
・ Equilar
・ Equilateral (disambiguation)
・ Equilateral dimension
・ Equilateral pentagon
・ Equilateral polygon
・ Equilateral triangle
・ Equilateral triathlon


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Equidistribution theorem : ウィキペディア英語版
Equidistribution theorem

In mathematics, the equidistribution theorem is the statement that the sequence
:''a'', 2''a'', 3''a'', ... mod 1
is uniformly distributed on the circle \mathbb/\mathbb, when ''a'' is an irrational number. It is a special case of the ergodic theorem where one takes the normalized angle measure \mu=\frac.
==History==
While this theorem was proved in 1909 and 1910 separately by Hermann Weyl, Wacław Sierpiński and Piers Bohl, variants of this theorem continue to be studied to this day.
In 1916, Weyl proved that the sequence ''a'', 22''a'', 32''a'', ... mod 1 is uniformly distributed on the unit interval. In 1935, Ivan Vinogradov proved that the sequence ''p''''n'' ''a'' mod 1 is uniformly distributed, where ''p''''n'' is the ''n''th prime. Vinogradov's proof was a byproduct of the odd Goldbach conjecture, that every sufficiently large odd number is the sum of three primes.
George Birkhoff, in 1931, and Aleksandr Khinchin, in 1933, proved that the generalization ''x'' + ''na'', for almost all ''x'', is equidistributed on any Lebesgue measurable subset of the unit interval. The corresponding generalizations for the Weyl and Vinogradov results were proven by Jean Bourgain in 1988.
Specifically, Khinchin showed that the identity
:\lim_ \frac \sum_^n
f( (x+ka) \mod 1 ) = \int_0^1 f(y)\,dy
holds for almost all ''x'' and any Lebesgue integrable function ƒ. In modern formulations, it is asked under what conditions the identity
:\lim_ \frac \sum_^n
f( (x+b_ka) \mod 1 ) = \int_0^1 f(y)\,dy
might hold, given some general sequence ''b''''k''.
One noteworthy result is that the sequence 2''k''''a'' mod 1 is uniformly distributed for almost all, but not all, irrational ''a''. Similarly, for the sequence ''b''''k'' = 2''k'', for every irrational ''a'', and almost all ''x'', there exists a function ƒ for which the sum diverges. In this sense, this sequence is considered to be a universally bad averaging sequence, as opposed to ''b''''k'' = ''k'', which is termed a universally good averaging sequence, because it does not have the latter shortcoming.
A powerful general result is Weyl's criterion, which shows that equidistribution is equivalent to having a non-trivial estimate for the exponential sums formed with the sequence as exponents. For the case of multiples of ''a'', Weyl's criterion reduces the problem to summing finite geometric series.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Equidistribution theorem」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.